81. Engineering plasticity by mathematical programming : proceedings of the NATO Advanced Study Institute, University of Waterloo, Waterloo, Canada, August 2-12, 1977
پدیدآورنده: edited by M. Z. Cohn and G. Maier ; technical editor, D. E. Grierson
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه شهید باهنر کرمان (کرمان)
موضوع: Congresses ، Plastic analysis )Engineering(,Congresses ، Programming )Mathematics(
رده :
TA
652
.
N37
1977
82. Engineering plasticity by mathematical programming; proceedings of the NATO Advanced Study Institute, University of Waterloo, Waterloo, Canada, Augst 2-12-1977
پدیدآورنده: edited by M.Z. Cohn and G. Maier; technical editor, D.E. Grierson
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع: Congrosses ، Plastic analysis )Engineering(,، Building, Iron and steel,، Reinforced concrete construction,Congresses ، Programming )Mathematics(
رده :
TA
652
.
N37
1977
83. Evaluating mathematical programming techniques : proceedings of a conference held at the National Bureau of Standards, Boulder, Colorado, January 5-6, 1981
پدیدآورنده:
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع: ، Programming ]Mathematics[-- Congresses
رده :
QA
402
.
5
.
E94
1982
84. Evolutionary computation in combinatorial optimization :
پدیدآورنده: Arnaud Liefooghe, Manuel López-Ibáñez (eds.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Combinatorial optimization-- Data processing, Congresses.,Evolutionary computation, Congresses.,Evolutionary programming (Computer science), Congresses.,Algorithms & data structures.,Artificial intelligence.,Combinatorial optimization-- Data processing.,Computers-- Data Modeling & Design.,Computers-- Data Processing.,Computers-- Intelligence (AI) & Semantics.,Computers-- Programming-- Algorithms.,Discrete mathematics.,Evolutionary computation.,Evolutionary programming (Computer science),Mathematical theory of computation.
رده :
QA76
.
618
85. Exploring the early digital /
پدیدآورنده: Thomas Haigh, editor.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Computer systems-- History, Congresses.,Computers, Congresses.,Computer systems.,COMPUTERS-- Computer Literacy.,COMPUTERS-- Computer Science.,COMPUTERS-- Data Processing.,COMPUTERS-- Hardware-- General.,COMPUTERS-- Information Technology.,COMPUTERS-- Machine Theory.,COMPUTERS-- Reference.,Computers.
رده :
QA75
.
5
.
E96
2019
86. Extremal methods and systems analysis
پدیدآورنده: / edited by A. V. Fiacco and K. O. Kortanek
کتابخانه: كتابخانه مركزی دانشگاه علوم بهزیستی و توانبخشی (تهران)
موضوع: System analysis--Congresses,Programming (Mathematics)--Congresses,Game theory--Congresses,Economics, Mathematical--Congresses,Charnes, A.--(Abraham),--1917
رده :
QA402
.
I57
1977
87. Extremal methods and systems analysis
پدیدآورنده: / edited by A. V. Fiacco and K. O. Kortanek
کتابخانه: کتابخانه مرکز روانپزشکی رازی (تهران)
موضوع: System analysis--Congresses,Programming (Mathematics)--Congresses,Game theory--Congresses,Economics, Mathematical--Congresses,Charnes, A.--(Abraham),--1917
رده :
QA402
.
I57
1977
88. Extremal methods and systems analysis : an international symposium on the occasion of Professor Abraham Charnes' sixtieth birthday, Austin, Texas, September 13-15, 1977
پدیدآورنده: International Symposium on Extremal Methods and Systems Analysis )7791, University of Texas at Austin(
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع: ، System analysis-- Congresses,، Programming )Mathematics(-- Congresses,، Name theory-- Congresses,، Economics, Mathematical-- Congresses,، Charnes, A. )Abraham(, 7191-
رده :
QA
402
.
I57
1977
89. Fields of Logic and Computation II
پدیدآورنده: \ Lev D. Beklemishev, Andreas Blass, Nachum Dershowitz, Bernd Finkbeiner, Wolfram Schulte (eds.)
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع: Software engineering,نرم‌افزار,-- Congresses,-- کنگره‌ها, -- مهندسی,a04,a04,Computer logic -- Congresses,Computer science -- Mathematics -- Congresses,منطق کامپیوتری -- کنگره ها,علوم کامپیوتر -- ریاضیات -- کنگره‌ها
رده :
QA
76
.
9
.
L63
F54
2015
E-Book
,
90. Fixed points : algorithms and applications
پدیدآورنده: International Conference on Computing Fixed Points with Applications, 1st, 4791, Clemson University
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع: ، Fixed point theory-- Congresses,، Equations, Simultaneous-- Congresses,، Economics, Mathematical-- Congresses,، Programming )Mathematics(-- Congresses
رده :
QA
329
.
9
.
I57
1974
91. Formal aspects of component software :
پدیدآورنده: Kyungmin Bae, Peter Csaba Ölveczky (eds.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Component software, Congresses.,Formal methods (Computer science), Congresses.,Logics and Meanings of Programs.,Component software.,Computer programming / software development.,Computers-- Programming-- General.,Computers-- Programming Languages-- General.,Computers-- Software Development & Engineering-- General.,Formal methods (Computer science),Mathematical theory of computation.,Mathematics-- Logic.,Programming & scripting languages: general.,Software Engineering.
رده :
QA76
.
9
.
F67
92. Formal methods :
پدیدآورنده: Tiago Massoni, Mohammad Reza Mousavi (eds.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Formal methods (Computer science), Congresses.,Algorithms & data structures.,Computer programming-- software development.,Computers-- Programming-- Algorithms.,Computers-- Programming-- General.,Computers-- Programming Languages-- General.,Computers-- Software Development & Engineering-- General.,Formal methods (Computer science),Mathematical theory of computation.,Mathematics-- Logic.,Programming & scripting languages: general.,Software Engineering.
رده :
QA76
.
9
.
F67
93. Formal methods and software engineering :
پدیدآورنده: Jing Sun, Meng Sun (eds.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Formal methods (Computer science), Congresses.,Software engineering, Congresses.,Computer programming-- software development.,Computers-- Expert Systems.,Computers-- General.,Computers-- Hardware-- Handheld Devices.,Computers-- Programming-- General.,Computers-- Software Development & Engineering-- General.,Expert systems-- knowledge-based systems.,Formal methods (Computer science),Information technology: general issues.,Mathematical theory of computation.,Mathematics-- Logic.,Software engineering.,Software Engineering.,Systems analysis & design.
رده :
QA76
.
9
.
F67
94. Formal modeling and analysis of timed systems :
پدیدآورنده: David N. Jansen, Pavithra Prabhakar (eds.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Computer simulation, Congresses.,Formal methods (Computer science), Congresses.,System analysis, Congresses.,Temporal automata, Congresses.,Algorithm Analysis and Problem Complexity.,Artificial Intelligence.,Logics and Meanings of Programs.,Mathematical Logic and Formal Languages.,Simulation and Modeling.,Software Engineering.,3D graphics & modelling.,Algorithms & data structures.,Artificial intelligence.,Computer programming-- software development.,Computer simulation.,Computers-- Computer Simulation.,Computers-- Intelligence (AI) & Semantics.,Computers-- Programming-- Algorithms.,Computers-- Programming-- General.,Computers-- Software Development & Engineering-- General.,Formal methods (Computer science),Mathematical theory of computation.,Mathematics-- Logic.,Software Engineering.,System analysis.,Temporal automata.
رده :
QA76
.
9
.
F67
95. Foundations of software science and computation structures :
پدیدآورنده: Christel Baier, Ugo Dal Lago (eds.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Computer software, Congresses.,Software engineering, Congresses.,Artificial intelligence.,Computer programming-- software development.,Computer software.,Computers-- Data Processing.,Computers-- General.,Computers-- Hardware-- Handheld Devices.,Computers-- Intelligence (AI) & Semantics.,Computers-- Programming-- General.,Computers-- Software Development & Engineering-- General.,Discrete mathematics.,Information technology: general issues.,Software engineering.,Software Engineering.,Systems analysis & design.
رده :
QA76
.
751
.
F67
2018eb
96. Fuzzy Sets Theory and Applications
پدیدآورنده: edited by André Jones, Arnold Kaufmann, Hans-Jürgen Zimmermann.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Decision making -- Congresses.,Fuzzy sets -- Congresses.,Problem solving -- Congresses.
97. Generalized quantifiers and computation
پدیدآورنده: Jouko Väänänen (ed.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Computer logic, Congresses.,Computer science-- Mathematics, Congresses.,Programming languages (Electronic computers), Congresses.
98. Graph-theoretic concepts in computer science :
پدیدآورنده: Andreas Brandstädt, Ekkehard Köhler, Klaus Meer (eds.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Computer science-- Mathematics, Congresses.,Graph theory-- Data processing, Congresses.,Algorithm Analysis and Problem Complexity.,Arithmetic and Logic Structures.,Computer Graphics.,Data Structures.,Discrete Mathematics in Computer Science.,Algorithms & data structures.,Computer science-- Mathematics.,Computers-- Computer Graphics.,Computers-- Data Modeling & Design.,Computers-- Data Processing.,Computers-- Logic Design.,Computers-- Programming-- Algorithms.,Discrete mathematics.,Graph theory-- Data processing.,Graphics programming.
رده :
QA166
99. High Performance Computing in the Geosciences
پدیدآورنده: edited by François-Xavier Dimet.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Earth sciences -- Data processing -- Congresses.,Earth sciences -- Data processing.,Earth sciences -- Mathematics -- Congresses.
100. Information systems and technologies to support learning :
پدیدآورنده: Álvaro Rocha, Mohammed Serrhini, editors.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Education-- Effect of technological innovations on.,Educational innovations, Congresses.,Educational technology, Congresses.,Internet in education.,Artificial intelligence.,EDUCATION-- Administration-- General.,Education-- Effect of technological innovations on.,EDUCATION-- Organizations & Institutions.,Educational innovations.,Educational technology.,Internet in education.
رده :
LB1028
.
3
